TSTP Solution File: SEV514^1 by Nitpick---2016